predicate calculus language
[计] 谓词演算语言
热门查询
- Dubrovnik n. 杜布罗夫尼克旧城
- Juliette [人名] 朱丽叶
- rodney n. 罗德尼（男子名）
- oracle n. 神谕；预言；神谕处；圣人
- hypoglycaemic adj. 降血糖的
- generalization n. 概括；普遍化；一般化
- katherine n. 凯瑟琳（女子名）
- turkey n. 土耳其（横跨欧亚两洲的国家）
- tramline n. 有轨电车路线；（英）电车轨道
- tinkering n. 铸补，熔补 v. 做焊锅匠，笨拙的修补（tinker的现在分词形式）
- standstill n. 停顿；停止
- hrt abbr. 高分辨力定时器（High Resolution Timer）
- regulated v. 规定（regulate的过去分词）；管理；管制
- unmodulated adj. [电子] 未调制的；未调整的
- shouldn't 不应该，不应（等于should not）
- yin n. （苏格兰）一个（等于one）；中国思想里的“阴”（与“阳”相对）；中国的殷代 adj. （苏格兰）一个的 pron. （苏格兰）一个
- dixon n. 狄克逊（姓氏）
- scenery n. 风景；景色；舞台布景
- concave n. 凹面 adj. 凹的，凹面的 vt. 使成凹形
- manifold vt. 复写，复印；增多；使……多样化 adj. 多方面的，有许多部分的；各式各样的 n. 多种；复印本 n. (Manifold)人名；(英)马尼福尔德
考试词汇表
- cream-digging rate
- creamed linen yarn
- creamy white glaze
- crease sensitivity
- create a big stink
- create a directory
- create a diversion
- create a sensation
- create header file
- create system call
- create the part of
- creatine anhydrase
- creatine chromogen
- creatine deaminase
- creatine phosphate
- creatinine picrate
- creatinine,m's for
- creation of income
- creation of pledge
- creation of rights
